-
1 Algebraic Specification Formalism
Mathematics: ASFУниверсальный русско-английский словарь > Algebraic Specification Formalism
-
2 ASF
1) Компьютерная техника: Architecture Simulation Framework, Automatic Sheet Feeder2) Ботаника: Alert Standard Format3) Военный термин: ACE strike file, Aeromedical Staging Facility, Airborne Special Forces, Alaskan Sea Frontier, All-Source Format, Allied Snipers Forum, American Special Forces, Army Service Forces, Army Special Forces, Army Support Facility, Army stock fund, Assassination Special Forces, additional selection factor, advanced simulation facility, advisory support force, air superiority fighter, aircraft services facility, ammunition storage facility, amphibious striking forces, aviation support facility5) Сельское хозяйство: African swine fever6) Математика: Algebraic Specification Formalism7) Религия: Apostolic Statement Of Faith8) Политика: African Standby Force9) Сокращение: Acoustic Support Function (Netherlands), Administrative Support Facility, Auxiliary Service Facility, Aeromedical Staging Facilities / Flight, Army Standard Family (shelters)10) Театр: Alabama Shakespeare Festival11) Вычислительная техника: Active Streaming Format, ActiveMovie Streaming Format, Advanced Streaming Format, application specific coding flag, признак кодировки конкретного приложения, Advanced Streaming Format (MS), Apache Software Foundation (organization, Apache), автоматическая подача бумаги, флаг кодировки конкретного приложения12) Транспорт: Audi Space Frame13) Фирменный знак: American Spray Fibers, Arrowhead Sale Facility14) Почта: auxiliary service facility15) Сетевые технологии: Active Server File, automatic sheet feed16) Полимеры: American Sanitation Foundation, Automotive Safety Foundation17) Программирование: Aspect Source Flag18) Расширение файла: Advanced Streaming Format Video, Lotus 1-2-3 Screen font, Active/Advanced Streaming Format (Microsoft)19) Цемент: альтернативное топливо, альтернативный источник топлива, alternative fuel, alternative source of fuel, низкосортное топливо, alt fuel20) Hi-Fi. Advanced Systems Format21) Общественная организация: Agronomic Science Foundation, American Schizophrenia Foundation22) Чат: Alerting Standard Forum, Alt Seduction Fast24) Программное обеспечение: Alternating Sequential Filter, Arctan Script File25) СМС: Apache Software Foundation26) Базы данных: Acclaim Skeletal File -
3 asf
1) Компьютерная техника: Architecture Simulation Framework, Automatic Sheet Feeder2) Ботаника: Alert Standard Format3) Военный термин: ACE strike file, Aeromedical Staging Facility, Airborne Special Forces, Alaskan Sea Frontier, All-Source Format, Allied Snipers Forum, American Special Forces, Army Service Forces, Army Special Forces, Army Support Facility, Army stock fund, Assassination Special Forces, additional selection factor, advanced simulation facility, advisory support force, air superiority fighter, aircraft services facility, ammunition storage facility, amphibious striking forces, aviation support facility5) Сельское хозяйство: African swine fever6) Математика: Algebraic Specification Formalism7) Религия: Apostolic Statement Of Faith8) Политика: African Standby Force9) Сокращение: Acoustic Support Function (Netherlands), Administrative Support Facility, Auxiliary Service Facility, Aeromedical Staging Facilities / Flight, Army Standard Family (shelters)10) Театр: Alabama Shakespeare Festival11) Вычислительная техника: Active Streaming Format, ActiveMovie Streaming Format, Advanced Streaming Format, application specific coding flag, признак кодировки конкретного приложения, Advanced Streaming Format (MS), Apache Software Foundation (organization, Apache), автоматическая подача бумаги, флаг кодировки конкретного приложения12) Транспорт: Audi Space Frame13) Фирменный знак: American Spray Fibers, Arrowhead Sale Facility14) Почта: auxiliary service facility15) Сетевые технологии: Active Server File, automatic sheet feed16) Полимеры: American Sanitation Foundation, Automotive Safety Foundation17) Программирование: Aspect Source Flag18) Расширение файла: Advanced Streaming Format Video, Lotus 1-2-3 Screen font, Active/Advanced Streaming Format (Microsoft)19) Цемент: альтернативное топливо, альтернативный источник топлива, alternative fuel, alternative source of fuel, низкосортное топливо, alt fuel20) Hi-Fi. Advanced Systems Format21) Общественная организация: Agronomic Science Foundation, American Schizophrenia Foundation22) Чат: Alerting Standard Forum, Alt Seduction Fast24) Программное обеспечение: Alternating Sequential Filter, Arctan Script File25) СМС: Apache Software Foundation26) Базы данных: Acclaim Skeletal File
См. также в других словарях:
ASF+SDF Meta Environment — Infobox Software name = ASF+SDF Meta Environment caption = developer = SEN1 [http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/] group at the CWI [http://www.cwi.nl] latest release version = 2.0.1 latest release date = 08 September 2008 latest… … Wikipedia
ASF — can stand for:In computing: * Advanced Systems Format (formerly Advanced Streaming Format , .asf), a Microsoft streaming format associated with Windows Media Player. * as file extension for APL data files: the standard way for APL programs to… … Wikipedia
CO-OPN — The CO OPN (Concurrent Object Oriented Petri Nets) specification language is based on both algebraic specifications and algebraic Petri nets formalisms. The former formalism represent the data structures aspects, while the latter stands for the… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
DEVS — abbreviating Discrete Event System Specification is a modular and hierarchical formalism for modeling and analyzing general systems that can be discrete event systems which might be described by state transition tables, and continuous state… … Wikipedia
Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release … Wikipedia
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia
0.999... — In mathematics, the repeating decimal 0.999... (which may also be written as 0.9, , 0.(9), or as 0. followed by any number of 9s in the repeating decimal) denotes a real number that can be shown to be the number one. In other words, the symbols 0 … Wikipedia
Actor model and process calculi — In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history.There are many similarities between the two approaches,… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium